1

The relation between logic and functional languages: a survey

Year:
1986
Language:
english
File:
PDF, 1.54 MB
english, 1986
6

C-expressions: a variable-free calculus for equational logic programming

Year:
1993
Language:
english
File:
PDF, 3.01 MB
english, 1993
10

Case Note on “Pfizer”

Year:
2014
Language:
english
File:
PDF, 111 KB
english, 2014
26

Programming Self-Assembly of DNA Tiles

Year:
2016
Language:
english
File:
PDF, 567 KB
english, 2016